#include <stdio.h>

int getFoo () { return foo; }

int
main (int argc, char *argv[])
{
   printf("hello world!\n");

   return 0;
} // main
